Functional verification - PDFSEARCH.IO - Document Search Engine

Functional verification
Results: 142

#	Item
81	Microsoft Word - mc-01.doc Add to Reading List Source URL: www.wseas.us Language: English - Date: 2008-11-15 06:08:18 Central processing unit Computer programming Debuggers Instruction set simulator Simulation software Random test generator SystemVerilog Functional verification Code generation Computing Electronic engineering Software engineering
82	Title of the Paper (18pt Times New Roman, Bold) Add to Reading List Source URL: www.wseas.us Language: English - Date: 2007-10-22 11:12:46 Source code Central processing unit Instruction set architectures Code generation Compiler construction Subroutine Random test generator Processor register Functional verification Computing Software engineering Computer programming
83	Towards a Practical, Verified Kernel Kevin Elphinstone∗ Gerwin Klein∗ Philip Derrin Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Logic in computer science Functional languages L4 microkernel family Isabelle Microkernel Formal verification Kernel Gernot Heiser Haskell Computer architecture Computing Software
84	Property Specification Language Reference Manual Version 1.1 June 9, 2004 Add to Reading List Source URL: www.eda-stds.org Language: English - Date: 2004-06-29 00:18:58 Formal methods Hardware verification languages Property Specification Language Accellera Technical communication Verilog Specification Functional verification Functional specification Electronic design automation Electronic engineering Hardware description languages
85	METHOD & TOOLS TO SECURE AND SUPPORT COLLABORATIVE ARCHITECTING OF CONSTRAINED SYSTEMS Jean-Luc Voirin Thales Aerospace Keywords: architecture modelling method early validation Add to Reading List Source URL: www.icas.org Language: English - Date: 2013-01-02 10:35:57 Software development View model Requirement Systems architect Function model Verification and validation Product lifecycle management Functional requirement Department of Defense Architecture Framework Systems engineering Systems science Systems theory
86	PLMMS Preface This volume contains the papers presented at PLMMS-2013: 5th International Workshop on Programming Languages for Mechanised Mathematical Systems 2013 held on July 9, 2013 in Bath. There were 3 submissions. Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 05:43:59 Type theory Functional languages Logic in computer science Formal methods Theory of computation Dependent type Agda Formal verification Typed lambda calculus Programming language theory Theoretical computer science Software engineering
87	Non-Functional Requirements in a Component Model for Embedded Systems Position Paper Roel Wuyts Stephane Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2002-02-15 11:58:05 Component-based software engineering Operating system Scheduling Systems engineering Device driver synthesis and verification AUTOSAR Software engineering Software architecture Embedded system
88	Verification and Design Exploration through Meta Tool Integration with OpenModelica Zsolt Lattmann2, Adrian Pop1, Johan de Kleer3, Peter Fritzson1, Bill Janssen3, Sandeep Neema2, Ted Bapty2, Xenofon Koutsoukos2, Matthew Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2014-03-27 08:06:24 Simulation software Computing Modelica Systems engineering Reliability engineering Formal verification Dymola Functional Mock-up Interface Object-oriented programming Software engineering Application software
89	LANDLORD VERIFICATION AUTHORIZATION RELEASE FORM Date I hereby authorize you to submit/verify the following information to MURRY MANAGEMENT COMPANY. Your prompt attention to this matter will be greatly appreciated. Print Add to Reading List Source URL: www.rentcafe.com Language: English - Date: 2013-08-06 10:06:07 Statement Culture Functional Requirements for Bibliographic Records Library 2.0 Music
90	Verification of System LSIs for Image Processing  Yoshihiko Hayashi  Noriyuki Ikuma Add to Reading List Source URL: www.fujitsu.com Language: English - Date: 2013-02-06 07:16:32 Hardware emulation Functional verification Logic simulation Verification and validation Field-programmable gate array Application-specific integrated circuit Verification Electronic engineering Digital electronics Systems engineering

UPDATE